#ifndef SMP_H
#define SMP_H


#include <stdlib/stdint.h>
#include <core/task.h>

void smp_secondary_cores_up(void);
void smp_active_secondary_cores(void);
void smp_boot_secondary_cpu(void);
uint32_t smp_current_cores(void);

#endif
